]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc5ed2f) | patch
workspace: Remove no longer valid comment
authorJonas Dreßler <verdre@v0yd.nl>
Tue, 2 Jun 2020 08:29:19 +0000 (10:29 +0200)
committerGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Thu, 4 Jun 2020 17:40:09 +0000 (17:40 +0000)
commit4582d7a183183df982bb48edbe5cd8e3972236fc
tree3e520459da6dcfd79acac61f00dc139e7c087d0ftree | snapshot
parentcc5ed2fbf5a9ff0f6fb6ad951a34e12abb3b0dadcommit | diff
workspace: Remove no longer valid comment

This comment is no longer correct, we're not inserting any actors here
to adjust for the window border, but we're modifying the allocation of
the children to adjust for that border.

Since that happens in the layout manager anyway, remove the comment
here.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1297
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.